The Computability Problem in Algebraic Topology
نویسنده
چکیده
At first, and this has been immediately noted, this result ensures the durability of the mathematical job, which is not inconsiderable. No finite “system", in the broadest sense of the term, can potentially cover the whole mathematical field. So it can be considered that Church and Turing have proved that mathematicians will always be able to discover new playing fields and their creativitywill never die for lack of study areas.
منابع مشابه
Topology and Computability Thesis Proposal
In this thesis I will relate standard computability to computability of reals|and related spaces|and link these notions with denotational semantics of computer languages. The framework for the proposed study was worked out in collaboration with Steve Awodey, Lars Birkedal and Dana Scott. The rst section gives a motivation for our setup and indicates how standard computability ts in it. The subs...
متن کاملCategorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملComputable Algebra, General Theory and Theory of Computable Fields(1)
Introduction. Abstract algebra is the product of a transition from such concrete systems as the ring of integers or the field of rational numbers to the corresponding, axiomatically defined, abstract systems. In the course of this abstraction process various properties of the concrete system are lost. The field of rational numbers, for example, possesses a natural topology, an ordering, and fur...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملIsomorphism and Classification for Countable Structures
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and computable structure theory, extending concepts from the latter beyond computable structures to examine the isomorphism problem on arbitrary countable struc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994